Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
131	Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 08:41:55 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
132	Statically typed traits Kathleen Fisher AT&T Labs — Research Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2003-12-12 14:51:13 Type theory Formal methods Classical genetics Computability theory Lambda calculus Trait Multiple inheritance Objective-C Smalltalk Software engineering Computing Computer programming
133	A typed calculus of traits Kathleen Fisher AT&T Labs — Research Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-10-12 09:58:47 Type theory Method Trait Mixin Smalltalk Lambda calculus Self Multiple inheritance Objective-C Software engineering Object-oriented programming Computing
134	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
135	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation
136	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
137	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mscs.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
138	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic
139	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
140	A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures Add to Reading List Source URL: doku.b.tu-harburg.de Language: English - Date: 2012-08-07 07:51:35 Computer programming Data types Lambda calculus Subroutines Functional programming Generic programming Kind Polymorphism System F Software engineering Computing Type theory

UPDATE